自动程序验证系统automatic: adj. 1.自动的;机械的。 2.【生理】自动性的,无 ...verification: n. 1.证实,证明,确定;核验,验证,核对;检验,校验 ...system: n. 1.体系,系统;分类法;组织;设备,装置。 2.方 ...automatic program verification: 自动程序验证automatic speech verification system: 自动语言识别系统下载手机词典可随时随地查词查翻译